b  dom(M.prob) == b  dom((M.2.2.2.2.2.2.2.2.2.2.2).1) 

latex

---

clarification:

b  dom(M.prob) == fpf-dom(IdDeq; b; ((M.2.2.2.2.2.2.2.2.2.2.2).1)) 

latex

Definitions	x  dom(f), IdDeq, t.1, t.2
FDL editor aliases	ma-prob-dom